Books by author Andrei Voronkov

Showing 1 – 20 out of 30 results

1. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Matthias Baaz, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
2. 

   Logic Programming and Automated Reasoning

   Andrei Voronkov | Springer, Berlin, 1993

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
3. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Nachum Dershowitz, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
4. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Franz Baader, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   113.70 €

   Buy
5. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Edmund M. Clarke, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
6. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Iliano Cervesato, Helmut Veith, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   109.54 €

   Buy
7. 

   Computer Science - Theory and Applications

   Volker Diekert, Mikhail Volkov, Andrei Voronkov | Springer, Berlin, 2007

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
8. 

   Perspectives of System Informatics

   Alexander K. Petrenko, Andrei Voronkov | Springer International Publishing AG, 2018

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
9. 

   Programming Logics

   Andrei Voronkov, Christoph Weidenbach | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
10. 

    Perspectives of System Informatics

    Andrei Voronkov, Irina Virbitskaite | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
11. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Robert Nieuwenhuis, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    109.54 €

    Buy
12. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Geoff Sutcliffe, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    109.54 €

    Buy
13. 

    Perspectives of Systems Informatics

    Amir Pnueli, Irina Virbitskaite, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
14. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Ken McMillan, Aart Middeldorp, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
15. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Christian G. Fermüller, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    Low in stock at our supplier - Shipping in 9 - 15 days

    Language: English

    Binding: Paperback

    110.76 €

    Buy
16. 

    Logic Programming and Automated Reasoning

    Andrei Voronkov | Springer, Berlin, 1992

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
17. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Moshe Vardi, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
18. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Miki Hermann, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    109.54 €

    Buy
19. 

    Logic Programming

    Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
20. 

    Rewriting Techniques and Applications

    Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy

Nobody else offers you access to a wider selection. Find out more